Checking, processing and verification of nuclear data covariances
نویسندگان
چکیده
منابع مشابه
Verification of Tree-Processing Programs via Higher-Order Model Checking
We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification problem to multiple verification problems for higher-order multi-tree transducers, which are then transformed into higher-order recursion schemes and model-checked. Unlike previous methods, our new method can deal with arbitrary ...
متن کاملData collection, processing, validation, and verification.
The collection, processing, validation, verification, formatting, filing, and storage of the required input data are some of the most important components in the National Institute for Occupational Safety and Health (NIOSH) Radiation Dose Reconstruction Program. Without question, the quality and scientific validity of the reconstructed dose estimates are totally dependent on these aspects of th...
متن کاملProvenance based data integrity checking and verification in cloud environments
Cloud computing is a recent tendency in IT that moves computing and data away from desktop and hand-held devices into large scale processing hubs and data centers respectively. It has been proposed as an effective solution for data outsourcing and on demand computing to control the rising cost of IT setups and management in enterprises. However, with Cloud platforms user's data is moved into re...
متن کاملAnalysis of Pre-processing and Post-processing Methods and Using Data Mining to Diagnose Heart Diseases
Today, a great deal of data is generated in the medical field. Acquiring useful knowledge from this raw data requires data processing and detection of meaningful patterns and this objective can be achieved through data mining. Using data mining to diagnose and prognose heart diseases has become one of the areas of interest for researchers in recent years. In this study, the literature on the ap...
متن کاملsimulation and design of electronic processing circuit for restaurants e-procurement system
the poor orientation of the restaurants toward the information technology has yet many unsolved issues in regards to the customers. one of these problems which lead the appeal list of later, and have a negative impact on the prestige of the restaurant is the case when the later does not respond on time to the customers’ needs, and which causes their dissatisfaction. this issue is really sensiti...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: EPJ Nuclear Sciences & Technologies
سال: 2018
ISSN: 2491-9292
DOI: 10.1051/epjn/2018028